University of Hagen - Spatial data models and query languages (algebras), finite resolution geometry for spatial database systems, extensible spatial database systems, graphs (networks) in spatial databases.

A collection of funny pictures and optical illusions.

University of Calgary - Routing in Ad hoc Networks.

The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.

Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS).

Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases.

University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.

IT SudParis. Personal information, details of research, publications, and teaching.

Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.

Keele University, UK